(set-logic QF_LIA)
(declare-fun i0 () Int)
(declare-fun i1 () Int)
(declare-fun i2 () Int)
(declare-fun v12 () Bool)
(assert (< 0 i2))
(assert (= (> i2 0) v12))
(assert (or (> (- i0) 0) v12))
(assert (>= i1 i2))
(assert (< (- i1 185) (* 185 (- i0))))
(check-sat)
